(DEFPROP ALLFNS
 (NIL REVAL PRUP)
VALUE)

(DEFPROP REVAL
 (LAMBDA(E A)
  (COND	((EQ (CAR E) (QUOTE QUOTE)) (CADR E))
	((ATOM E) ((LAMBDA (W) (REVAL (CAR W) (CADR W))) (CDR (ASSOC E A))))
	((EQ (CAR E) (QUOTE IF)) (COND ((REVAL (CADR E) A) (REVAL (CADDR E) A)) (T (REVAL (CADDDR E A)))))
	((MEMBER (CAR E) ELEM) (EVAL (CONS (CAR E) (MAPCAR (FUNCTION (LAMBDA (W) (REVAL W A))) (CDR E)))))
	(T
	 ((LAMBDA(W)
	   (REVAL (CADDR W) (APPEND (PRUP (CADR W) (MAPCAR (FUNCTION (LAMBDA (Z) (LIST Z A))) (CDR E))) A)))
	  (GET (CAR E) (QUOTE EXPR))))))
EXPR)